echo export DERECHO_CONF_FILE=/users/weijia/build-derecho/derecho.cfg